Monolithic kernel - PDFSEARCH.IO - Document Search Engine

Monolithic kernel
Results: 173

#	Item
81	SCHOOL OF COMPUTER SCIENCE & ENGINEERING A Formal Model of the L4 µ-kernel API Using the B Method Rafal Kolanski Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Kernel Monolithic kernels Mach Thread Formal verification Linux kernel Operating system Ring Isabelle Computer architecture Computing L4 microkernel family
82	Logical Attestation: An Authorization Architecture for Trustworthy Computing Emin Gün Sirer Willem de Bruijn† Patrick Reynolds‡ Alan Shieh Kevin Walsh Dan Williams Fred B. Schneider Computer Science Department, Corn Add to Reading List Source URL: sigops.org Language: English - Date: 2011-09-20 03:37:00 Trusted computing Cryptography Hashing Monolithic kernels Next-Generation Secure Computing Base Trusted Platform Module Procfs Kernel Hash table Computer architecture Computing Computer security
83	The Linux Kernel Module Programming Guide Peter Jay Salzman Ori Pomerantz Copyright © 2001 Peter Jay Salzman 2003−04−04 ver 2.4.0 Add to Reading List Source URL: mirrors.supportex.net Language: English - Date: 2006-08-04 23:32:15 Linux kernel Linux FreeBSD Loadable kernel module Modprobe Kernel Lsmod Monolithic kernel Procfs Computer architecture Software Computing
84	Environmental Independence: BSD Kernel TCP/IP in Userspace Antti Kantee Helsinki University of Technology [removed] Abstract Add to Reading List Source URL: 2009.asiabsdcon.org Language: English - Date: 2014-01-03 03:46:41 Unix NetBSD Monolithic kernels Computing platforms Ioctl Thread Microkernel Kernel Internet protocol suite Software Computing System software
85	L4/Darwin: Evolving UNIX Geoffrey Lee and Charles Gray National ICT Australia, Sydney, Australia Abstract the full Linux kernel tree currently contains millions of Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:13 Mac OS X Mach Monolithic kernels XNU Microkernel Operating system kernels L4 microkernel family Darwin Kernel Computer architecture System software Software
86	The Linux FAQ David C. Merrill david −AT− lupercalia.net 2003−09−19 Revision History Add to Reading List Source URL: tldp.org Language: English - Date: 2005-01-25 17:11:23 Monolithic kernels Cross-platform software Linux kernel Embeddable Linux Kernel Subset Debian Operating system GNU/Linux naming controversy Book:Open Source Software Computer architecture Linux
87	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-10-28 19:20:38 Computing platforms Monolithic kernels Mach Operating system Unix Kernel Ring Linux OS-9 Computer architecture Computing Software
88	FreeBSD on high performance multi-core embedded PowerPC systems Rafał Jaworowski Semihalf, The FreeBSD Project raj@{semihalf.com, freebsd.org} Add to Reading List Source URL: 2009.asiabsdcon.org Language: English - Date: 2014-01-03 03:46:41 Virtual memory Computing platforms Monolithic kernels Central processing unit Memory management unit FreeBSD Kernel NetBSD Symmetric multiprocessing Computer architecture Computing System software
89	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-10-28 17:27:07 Mach Monolithic kernels Computing platforms Operating system Kernel Unix Device driver Ring Linux Computer architecture Computing Software
90	The Linux Kernel Module Programming Guide Peter Jay Salzman Michael Burian Ori Pomerantz Copyright © 2001 Peter Jay Salzman 2007−05−18 ver 2.6.4 Add to Reading List Source URL: mirrors.supportex.net Language: English - Date: 2007-05-18 09:35:08 Linux kernel Special purpose file systems Linux FreeBSD Loadable kernel module Modprobe Kernel Lsmod Monolithic kernel Computer architecture Software System software

UPDATE